predicate logic proofs

join shbcf.ru